翻訳と辞書 Words near each other ・ Sounding rocket ・ Sounding stone ・ Sounding the New Violin ・ Sounding the Seventh Trumpet ・ Soundings (composition) ・ Soundings (journal) ・ Soundings (radio drama) ・ Soundism ・ SoundJam MP ・ Soundkeeper ・ Soundlab ・ Soundless Wind Chime ・ Soundman (disambiguation) ・ Soundmixshow ・ Soundness ・ Soundness (interactive proof) ・ Soundpainting ・ Soundplant ・ Soundplate ・ SoundPLAY Productions ・ SOUNDPONY ・ Soundpool ・ Soundproof (album) ・ Soundproof (band) ・ Soundproof (film) ・ Soundproofing ・ SoundRabbit ・ Soundrangers ・ Soundrapandiapuram ・ SoundRenderer Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Soundness (interactive proof) ： ウィキペディア英語版 Soundness (interactive proof) Soundness is a property of interactive proof systems that requires that no prover can make the verifier accept for a wrong statement $y\; \backslash not\backslash in\; L$ except with some small probability. The upper bound of this probability is referred to as the soundness error of a proof system. More formally, for every prover The above definition uses the somewhat arbitrary soundness error 2−80. As long as the soundness error is bounded by a polynomial fraction of the potential running time of the verifier (i.e. $\backslash leq1/\backslash mathrm(|y|)$), it is always possible to amplify soundness until the soundness error becomes negligible relative to the running time of the verifier. This is achieved by repeating the proof and accepting only if all proofs verify. After $\backslash ell$ repetitions, a soundness error $\backslash epsilon$ will be reduced to $\backslash epsilon^\backslash ell$.〔.〕 ==See also== * Interactive proof system * Proof of knowledge * Zero-knowledge proof 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Soundness (interactive proof)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.